Total Books: 1 - 1 /1
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
Lire la suite
Total Books: 1 - 1 /1
